Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
171	Practical Proof Checking for Program Certification Geoff Sutcliffe1 , Ewen Denney2 , Bernd Fischer2 1 University of Miami Add to Reading List Source URL: ti.arc.nasa.gov Language: English Logic Formal methods Theoretical computer science Automated theorem proving Mathematical logic Logic in computer science Proof assistants Formal verification Formal proof Proof-carrying code Automated proof checking Theorem
172	Mechanized Semantics for Compiler Verification Xavier Leroy INRIA Paris-Rocquencourt Abstract. The formal verification of compilers and related programming tools depends crucially on the availabili Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-12-13 08:22:59 Theoretical computer science Software engineering Logic in computer science Computing Formal methods Programming language semantics Compiler construction Operational semantics Semantics Formal verification Compiler correctness Programming language
173	A Formal Model and Composition Language for Context-Aware Service Protocols A Formal Model and Composition Language for Context-Aware Service Protocols Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Sala¨ un Add to Reading List Source URL: casta.unibe.ch Language: English - Date: 2012-07-02 10:13:08 Theoretical computer science Logic in computer science Programming language semantics Communications protocol Data transmission Model theory Operational semantics Models of computation
174	On the Syntax and Semantics of Effect Axioms Haythem O. Ismail Department of Computer Science German University in Cairo e-mail: Add to Reading List Source URL: fois08.dfki.de Language: English - Date: 2008-11-09 04:22:06 Logic Mathematical logic Formal systems Abstraction Axiom Logic programming Mereology
175	Event-B specification templates for defining dynamic semantics of DSLs Ulyana Tikhonova Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-29 06:58:27 Theoretical computer science Logic in computer science Programming language semantics Denotational semantics Semantics Action semantics Operational semantics Programming language
176	Modeling Mutual Capabilities in Heterogeneous Teams for Role Assignment Somchaya Liemhetcharat and Manuela Veloso School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA and velos Add to Reading List Source URL: somchaya.org Language: English - Date: 2014-05-05 11:44:08 Systems science Science Philosophy Algorithm Mathematical logic Theoretical computer science Expected value Team Mathematical optimization Robotics Robot Agent-based model
177	Adaptive fuzzv svstems A By reorganizing themselves internally as appropriate, these fuzzy control systems Add to Reading List Source URL: oodgeroo.ucsd.edu Language: English - Date: 2011-07-05 16:45:53 Fuzzy logic Logic Artificial intelligence Science and technology Systems science Control engineering Control theory Logic in computer science Fuzzy control system Fuzzy set Defuzzification Bart Kosko
178	Bio-PEPA: A collective dynamics approach to systems biology Jane Hillston. University of Edinburgh. Introduction Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-05-11 05:00:03 Theoretical computer science Process calculi Jane Hillston PEPA Logic in computer science Metaphor Simulation Scientific modelling Stochastic Mathematical model Semantics Economic model
179	University of Science and Technology of China A dissertation submitted for the degree of PhD Refinement Verification of Concurrent Programs and Its Applications Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:54 Theoretical computer science Logic in computer science Formal methods Software engineering Formal verification Refinement Linearizability Correctness Operational semantics Semantics Concurrency Algorithm
180	On Paging with Locality of Reference Susanne Albers Lene M. Favrholdty Oliver Gielz Add to Reading List Source URL: www14.in.tum.de Language: English - Date: 2013-11-25 11:04:07 Virtual memory Online algorithms Software Algorithm Mathematical logic Theoretical computer science Mathematics Paging Applied mathematics Page replacement algorithm

UPDATE